Skip to main content

Enhanced Compositional Safety Analysis for Distributed Embedded Systems using LTS Equivalence

· One min read
Hui Guo
Youngsul Shin
이우진
담당교수

WSEAS Conference on Applied Computer Science, Hangzhou, China, April 15-17, 2007.